COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.require "let.pub[let,jmc]" source
C00003 ENDMK
C⊗;
.require "let.pub[let,jmc]" source
∂AIL Prof. G. Kreisel∞
Dear Prof. Kreisel:

	Do you know of an axiomatization of modal logic that
has the subformula property?  Here is the context in which it
would be useful.

	It is necessary for an artificial intelligence to reason
about its own knowledge and that of other entities.  Thus to reason
about